Identification en aveugle des paramètres de systèmes non linéaires

Vérification d'invariants pour des systèmes spécifiés en logique de réécriture

We present an approach based on inductive theorem proving for verifying invariants of dynamic systems specified in rewriting logic, a formal specification language implemented in the Maude system. An invariant is a property that holds on all the states that are reachable from a given class of initial states. Our approach consists in encoding the semantic aspects that are relevant for our task (...

Evaluation et mise en oeuvre des systèmes de production cyclique

Analyse des paramètres de recherche d'information: Etude de l'influence des paramètres sur les résultats

Résumé. Cet article présente une analyse détaillée d’un ensemble de 2 millions de résultats de recherche d’information obtenus par différents paramétrages de systèmes de recherche d’information. Plus spécifiquement, nous avons utilisé la plateforme Terrier et l’interface RunGeneration pour créer différentes exécutions (run en anglais) en modifiant les modèles d’indexation et de recherche. Nous ...

Filtrage statistique optimal rapide dans des systèmes linéaires à sauts non stationnaires

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Vers une analyse de la dynamique des paramètres physiologiques en Unité de Soins Intensifs

Résumé. Le monitorage des paramètres physiologiques en milieu de Réanimation génère un flux abondant et continu de données. L’extraction et la synthèse des informations sont une étape obligatoire pour tout système d’aide à la décision. L’Analyse de la Tendance Linéaire par Morceaux (A.T.L.M.) est une méthode originale d’analyse de la dynamique qui utilise deux niveaux d’interprétation. Le premi...